Wyniki
-
Internet of Things Applications, Challenges and Related Future Technologies
Zeinab Kamal Aldein Mohammed, Elmustafa Sayed Ali Ahmed
World Scientific News , 67 /2 (2017) s. 126-148 -
A Confirmation of a Conjecture of Tarski
Tarek Sayed Ahmed
Bulletin of the Section of Logic , 32 /3 (2003) s. 103-105 -
Omitting Types for Finite Variable Fragments of First Order Logic
Tarek Sayed Ahmed
Bulletin of the Section of Logic , 32 /3 (2003) s. 177-122 -
A Sufficient and Necessary Condition for Omitting Types
Tarek Sayed Ahmed
Bulletin of the Section of Logic , 34 /1 (2005) s. 23-27 -
An Independence Result in Algebraic Logic
Tarek Sayed Ahmed
Bulletin of the Section of Logic , 34 /1 (2005) s. 29-36 -
Algebras of Sentences
Tarek Sayed Ahmed
Bulletin of the Section of Logic , 35 /1 (2006) s. 1-10 -
A Non-finitizability Result in Algebraic Logic
Tarek Sayed Ahmed
Bulletin of the Section of Logic , 36 /1-2 (2007) s. 21-27 -
Neat Embedding is not Sufficient for Complete Representability
Tarek Sayed Ahmed
Bulletin of the Section of Logic , 36 /1-2 (2007) s. 29-35 -
A Note on Atom Structures of Relation and Cylindric Algebras
Tarek Sayed Ahmed
Bulletin of the Section of Logic , 37 /1 (2008) s. 29-35 -
Amalgamation for Reducts of Polyadic Equality Algebras, a Negative Result
Tarek Sayed Ahmed
Bulletin of the Section of Logic , 37 /1 (2008) s. 37-50 -
The class of neat reducts is not Boolean closed
Tarek Sayed Ahmed
Bulletin of the Section of Logic , 37 /1 (2008) s. 51-61 -
Variations on Martin's Axiom and Omitting Types from Algebraic Logic, Lattice Theory and Topology
Tarek Sayed Ahmed
Bulletin of the Section of Logic , 37 /2 (2008) s. 103-114 -
Classes of Representable Algebras with the Amalgamation property
Tarek Sayed Ahmed
Bulletin of the Section of Logic , 37 /2 (2008) s. 115-121 -
RaCAn is not elementary, for n>4
Tarek Sayed Ahmed
Bulletin of the Section of Logic , 37 /2 (2008) s. 123-136 -
Omitting Tupes in Fragments and Extensions of First Order Logic
Tarek Sayed Ahmed
Bulletin of the Section of Logic , 50 /3 (2021) s. 249-287 -
A Complete Representations and Minimal Completions in Algebraic Logic, both Positive and Negatice Results
Tarek Sayed Ahmed
Bulletin of the Section of Logic , 50 /4 (2021) s. 465-511 -
Nanotechnology in Communication Engineering : Issues, Applications, and Future Possibilities
Elmustafa S. Ali Ahmed, Harwinder Singh Sohal
World Scientific News 66 (2017) s. 134-148 -
Performance of Symmetric Key Cryptography Algorithms in Cloud Storage
Hind Osman, Sara M. Ibrahim, Elmustafa Sayed Ali
World Scientific News 112 (2018) s. 244-251